Semiperfect and coreflexive coalgebras
نویسندگان
چکیده
منابع مشابه
Semiperfect coalgebras over rings
Our investigation of coalgebras over commutative rings R is based on the close relationship between comodules over a coalgebra C and modules over the dual algebra C∗. If C is projective as an R-module the category of right C-comodules can be identified with the category σ[C∗C] of left C∗-modules which are subgenerated by C. In this context semiperfect coalgebras are described by results from mo...
متن کاملOn Coreflexive Coalgebras and Comodules over Commutative Rings
In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called coreflexive coalgebras. Our approach in this note is an algebraically topological one. Introduction The concept of coreflexive coalgebras was studied, in the case of...
متن کاملCalculating Invariants as Coreflexive Bisimulations
Invariants, bisimulations and assertions are the main ingredients of coalgebra theory applied to computer systems engineering. In this paper we reduce the first to a particular case of the second and show how both together pave the way to a theory of coalgebras which regards invariant predicates as types. An outcome of such a theory is a calculus of invariants’ proof obligation discharge, a fra...
متن کاملSemiperfect-Information Games
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based models are ill-suited for these applications, because they assume that each player has complete information about the state of the system (they are “perfect-information” games). This is because in many situations, a controll...
متن کاملLine digraphs and coreflexive vertex sets
The concept of coreflexive set is introduced to study the structure of digraphs. New characterizations of line digraphs and nth-order line digraphs are given. Coreflexive sets also lead to another natural way of forming an intersection digraph from a given digraph.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Forum Mathematicum
سال: 2015
ISSN: 0933-7741,1435-5337
DOI: 10.1515/forum-2013-0085